Corey the logical choice

Logical omniscience and rational choice

It is well-known that usual doxastic models (epistemic logic, probability) suffer from strong idealizations. By extension, models of decision making that elaborate on these doxastic models (e.g., models of choice under set-theoretic uncertainty ([LR85], chap.13) and the expected utility model) inherit these idealizations. To improve doxastic models is therefore an important aspect of bounded ra...

Robert Brainard Corey

A logical account of free choice imperatives⇤

Since Ross’s observation that the instruction Post this letter does not entail Post this letter or burn it, imperatives have constituted a challenge for the logician. Building on ideas from inquisitive semantics, we propose an account in which imperatives are regarded as partial specifications of a set of options. We show that this account avoids Ross’s paradox and gives rise to a sensible noti...

Prem S . Fry and Corey

This volume addresses the topic of “new frontiers in resilient aging,” which is of ever-increasing significance in current gerontological and geriatric discourse and research. The topic is not only very complex, but has enormous scope and breadth, encompassing a number of psychosocial and biological models of aging, theoretical formulations, definitions, and dimensions of resilience, and the co...

Corey: An Operating System for Many Cores

Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data structures shared and modified by multiple processing cores. If the application does not need the sharing, then the operating system will become an unnecessary bottleneck to the application’s performance. This paper ar...